Just-In-Time compilation of OCaml byte-code
نویسنده
چکیده
This paper presents various improvements that were applied to OCamlJit2, a Just-In-Time compiler for the OCaml byte-code virtual machine. OCamlJit2 currently runs on various Unix-like systems with x86 or x86-64 processors. The improvements, including the new x86 port, are described in detail, and performance measures are given, including a direct comparison of OCamlJit2 to OCamlJit.
منابع مشابه
OCamlJIT 2.0 - Faster Objective Caml
This paper presents the current state of an ongoing research project to improve the performance of theOCaml byte-code interpreter using Just-In-Time native code generation. Our JIT engine OCamlJit2 currently runs on x86-64 processors, mimicing precisely the behavior of the OCaml virtual machine. Its design and implementation is described, and performance measures are given.
متن کاملTowards a native toplevel for the OCaml language
This paper presents the current state of our work on an interactive toplevel for the OCaml language based on the optimizing native code compiler and runtime. Our native toplevel is up to 100 times faster than the default OCaml toplevel, which is based on the byte code compiler and interpreter. It uses Just-In-Time techniques to compile toplevel phrases to native code at runtime, and currently w...
متن کاملÊùò¹ììññ Ó Òòööøøóò Óö
This Ph.D. progress report documents a combination of partial evaluation and compilation that enables “just-in-time program specialization”. To this end, we have composed a type-directed partial evaluator for OCaml programs with a run-time code generator for the OCaml virtual machine. The composition is deforested, i.e., residual programs are directly expressed as byte code, which is then dynam...
متن کاملThe Potential of Just-in-Time Compilation in Active Networks based on Network Processors
Byte-code representations in active networks provide architectural neutrality and code compactness; however, the resulting execution speed is typically poor due to interpretation overhead. This paper shows that the performance of capsule-based active networks can benefit from compiling active network programs into native network processor instructions at traversed routers (just-in-time compilat...
متن کاملProcess Introspection: a Heterogeneous Checkpoint/restart Mechanism Based on Automatic Code Modiication. Technical Report during Restartt 5.2.3 Timing for Substantial Parts of the C/r Mechanism
References 1] distributed.net home page. normally a loop consists of multiple function calls. However, the OCaml optimizer can in-line functions, which might mean that even for pure functional programs, function boundaries might not always serve as good safe points. Finally, even if we solve the problem of safe points, this is still not suucient, since we would have to translate the function/pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1011.6223 شماره
صفحات -
تاریخ انتشار 2010